Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (1) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows that SPA can detect porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points

Online Adaptive Radiation Therapy: Implementation of a New Process of Care.

Onboard magnetic resonance imaging (MRI) guided radiotherapy is now clinically available in nine centers in the world. This technology has facilitated the clinical implementation of online adaptive radiotherapy (OART), or the ability to alter the daily treatment plan based on tumor and anatomical changes in real-time while the patient is on the treatment table. However, due to the time sensitive nature of OART, implementation in a large and busy clinic has many potential obstacles as well as patient-related safety considerations. In this work, we have described the implementation of this new process of care in the Department of Radiation Oncology at the University of California, Los Angeles (UCLA). We describe the rationale, the initial challenges such as treatment time considerations, technical issues during the process of re-contouring, re-optimization, quality assurance, as well as our current solutions to overcome these challenges. In addition, we describe the implementation of a coverage system with a physician of the day as well as online planners (physicists or dosimetrists) to oversee each OART treatment with patient-specific 'hand-off' directives from the patient's treating physician. The purpose of this effort is to streamline the process without compromising treatment quality and patient safety. As more MRI-guided radiotherapy programs come online, we hope that our experience can facilitate successful adoption of OART in a way that maximally benefits the patient

Microcalibrator system for chemical signature and reagent delivery.

Networked systems of low-cost, small, integrable chemical sensors will enable monitoring of Nonproliferation and Materials Control targets and chemical weapons threats. Sandia-designed prototype chemical sensor systems are undergoing extended field testing supported by DOE and other government agencies. A required surety component will be verification of microanalytical system performance, which can be achieved by providing a programmable source of chemical signature(s) for autonomous calibration of analytical systems. In addition, such a controlled chemical source could be used to dispense microaliquots of derivatization reagents, extending the analysis capability of chemical sensors to a wider range of targets. We have developed a microfabricated system for controlled release of selected compounds (calibrants) into the analytical stream of microsensor systems. To minimize pumping and valve requirements of microfluidic systems, and to avoid degradation issues associated with storage of dilute solutions, we have utilized thermally labile organic salts as solid-phase reservoir materials. Reproducible deposition of tetrapropyl ammonium hydroxide onto arrays of microfabricated heating elements can provide a pair of calibration marker compounds (one fast and one slow-eluting compound) for GC analyses. The use of this microaliquot gas source array for hydrogen generation is currently under further development. The goal of the latter effort will be to provide a source of high-pressure, low viscosity GC carrier gas for Sandia's next-generation microfabricated gas-phase chemical analysis systems

The Association of Alcohol Severity and Sleep Quality in Problem Drinkers.

AIMS:The association between alcohol use and sleep problems is well established and clinically meaningful, particularly as predictors of relapse. This study aims to elucidate the relationship between sleep disturbances and alcohol problems in a non-treatment-seeking community sample using an alcoholism problem severity factor. METHODS:Participants were problem drinkers (N = 295) from the Los Angeles community who had a breath alcohol content (BrAC) of 0.00 g/dl when they completed an in-person assessment battery comprised of measures of sleep quality, anxiety and depression, cigarette smoking, as well as multiple assessments of alcohol use and alcohol use problems. RESULTS:A series of hierarchical regressions showed that alcohol problem severity explained a significant amount of variance in sleep disturbance beyond demographic, mood and smoking variables. Alcohol problem severity was predictive of the PSQI global score (B = 1.11, P < 0.001), perceived sleep quality factor (B = 0.18, P < 0.001) and daily disturbance factor (B = 0.28, P < 0.001). However, contrary to study hypothesis, alcohol problem severity was predictive of improved sleep efficiency (B = -0.14, P < 0.05). CONCLUSIONS:In sum, alcohol problem severity may be predictive of sleep disturbances. Given the complex nature of these relationships, further work is needed to develop adequate treatment for sleep disturbance during alcohol recovery. Nonetheless, this study suggests that as alcohol problem severity increases so do sleep problems. Thus, attending to sleep problems at early stages of alcohol problems may be warranted

The Association of Alcohol Severity and Sleep Quality in Problem Drinkers

AIMS: The association between alcohol use and sleep problems is well established and clinically meaningful, particularly as predictors of relapse. This study aims to elucidate the relationship between sleep disturbances and alcohol problems in a non-treatment-seeking community sample using an alcoholism problem severity factor. METHODS: Participants were problem drinkers (N = 295) from the Los Angeles community who had a breath alcohol content (BrAC) of 0.00 g/dl when they completed an in-person assessment battery comprised of measures of sleep quality, anxiety and depression, cigarette smoking, as well as multiple assessments of alcohol use and alcohol use problems. RESULTS: A series of hierarchical regressions showed that alcohol problem severity explained a significant amount of variance in sleep disturbance beyond demographic, mood and smoking variables. Alcohol problem severity was predictive of the PSQI global score (B = 1.11, P < 0.001), perceived sleep quality factor (B = 0.18, P < 0.001) and daily disturbance factor (B = 0.28, P < 0.001). However, contrary to study hypothesis, alcohol problem severity was predictive of improved sleep efficiency (B = −0.14, P < 0.05). CONCLUSIONS: In sum, alcohol problem severity may be predictive of sleep disturbances. Given the complex nature of these relationships, further work is needed to develop adequate treatment for sleep disturbance during alcohol recovery. Nonetheless, this study suggests that as alcohol problem severity increases so do sleep problems. Thus, attending to sleep problems at early stages of alcohol problems may be warranted

Barriers to initiation of extended release naltrexone among HIV-infected adults with alcohol use disorders.

Alcohol consumption is a major risk factor for the acquisition of HIV/AIDS and is associated with greater disease burden and mortality among those who become HIV-infected. Of the extant pharmacological treatments for alcohol use disorders, naltrexone is recognized as one of the most efficacious, producing robust reductions in alcohol craving and use. Given that treatment with oral naltrexone has been limited by problems with adherence, which are particularly prevalent among individuals with multiple chronic, co-occurring conditions, long-acting formulations may be a promising approach for HIV-infected substance users. However, little is known about the barriers to initiation of extended-release naltrexone (XR-NTX) treatment among alcohol users living with HIV. In this report we present and discuss the content analysis of open-ended survey questions, as well as lessons learned, with regards to barriers to initiation and maintenance of XR-NTX treatment collected as part of an RCT evaluating a cognitive behavioral text messaging intervention for HIV-infected adults with alcohol use disorders. Barriers to initiation and maintenance of XR-NTX pharmacotherapy among HIV+ individuals with alcohol use disorders seem to fall in one of two categories: [1] barriers that are amenable to change, which include distance and transportation issues, fear of injections, and belief that alcohol use does not warrant pharmacotherapy, and [2] barriers that are not amenable to change, such as the potential interaction of XR-NTX with another medication regimen

Preliminary Efficacy of a Cognitive Behavioral Therapy Text Messaging Intervention Targeting Alcohol Use and Antiretroviral Therapy Adherence: A Randomized Clinical Trial.

TRIAL REGISTRATION:This trial was registered with ClinicalTrials.gov, NCT02603471

Sex Differences in the Association Between Internalizing Symptoms and Craving in Methamphetamine Users

ObjectivesMethamphetamine (MA) users often have substantial psychiatric comorbidities, with nearly a third reporting lifetime mood disorders and over a quarter reporting lifetime anxiety disorders. Female MA users are more likely to endorse depression and anxiety symptoms compared with men. Craving has been related to mood/anxiety symptoms in MA users. To extend the literature on sex differences in MA use disorder, the present study examines the role of sex as a moderator of the relationship between mood/anxiety symptoms and MA craving.MethodsParticipants (N = 203) were nontreatment-seeking, current MA users, recruited from the Los Angeles community for enrollment in a larger pharmacotherapy trial. At the assessment visit, participants completed multiple measures including the Methamphetamine Urge Questionnaire, the Beck Depression Inventory, and the Beck Anxiety Inventory.ResultsThe relationship between depression symptomatology and MA craving was moderated by sex (F = 6.18, P = 0.01), such that the relationship was positive and significant for men (P &lt; 0.001), but was not significant for women. Similarly, sex significantly moderated the relationship between anxiety and MA craving (F = 5.99, P = 0.02), such that the relationship was also positive and significant in men, but not in women (P &lt; 0.001).ConclusionsThese results suggest that men may be more sensitive to the effects of internalizing symptoms on MA craving than women. Given craving's propensity to predict relapse, these initial findings indicate the necessity of treating comorbid psychiatric problems in male MA users, which may in turn assist in the attenuation of craving